منابع مشابه
Positivity relations on a locale
This paper analyses the notion of a positivity relation of Formal Topology from the point of view of the theory of Locales. It is shown that a positivity relation on a locale corresponds to a suitable class of points of its lower powerlocale. In particular, closed subtopologies associated to the positivity relation correspond to overt (that is, with open domain) weakly closed sublocales. Finall...
متن کاملOn the Meaning of Positivity Relations for Regular Formal Spaces
A careful analysis of the original definition of formal topology led to the introduction of a new primitive, namely a positivity relation between elements and subsets. This is, in other terms, a direct intuitionistic treatment of the notion of closed subset in formal topology. However, since formal open subsets do not determine formal closed subsets uniquely, the new concept of positivity relat...
متن کاملA New Characterization of the Continuous Functions on a Locale
Within the categoryW of archimedean lattice-ordered groups with weak order unit, we show that the objects of the form C (L), the set of continuous real-valued functions on a locale L, are precisely those which are divisible and complete with respect to a variant of uniform convergence, here termed indicated uniform convergence. We construct the corresponding completion of aW-object A purely alg...
متن کاملturkish-israeli relations and their implication on iranian national security
this dissertation has six chapter and tree appendices. chapter 1 introduces the thesis proposal including description of problem, key questions, hypothesis, backgrounds and review of literature, research objectives, methodology and theoretical concepts (key terms) taken the literature and facilitate an understanding of national security, national interest and turkish- israeli relations concepts...
15 صفحه اولRecurrence Relations, Succession Rules, and the Positivity Problem
In this paper we present a method to pass from a given recurrence relation with constant coefficients (in short, a C-finite recurrence) to a finite succession rule defining the same number sequence. Our method consists in two steps: first, we transform the given recurrence relation into an extended succession rule, then we provide a series of operations to reduce such an extended succession rul...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2016
ISSN: 0168-0072
DOI: 10.1016/j.apal.2016.04.009